#ifndef __CACHE_H__
#define __CACHE_H__

#include "common.h"
#include "memory/cache_config.h"

void cache_init(void);
uint32_t cache_hwaddr_read(hwaddr_t addr, size_t len);
void cache_hwaddr_write(hwaddr_t addr, size_t len, uint32_t data);

void cache_reset_stats(void);
void cache_report_stats(void);

#endif